Optimal. Leaf size=109 \[ \frac {b^{3/2} (5 a+b) \tan ^{-1}\left (\frac {\sqrt {b} \sin (x)}{\sqrt {a}}\right )}{2 a^{3/2} (a+b)^3}+\frac {(a+5 b) \tanh ^{-1}(\sin (x))}{2 (a+b)^3}-\frac {(a-b) b \sin (x)}{2 a (a+b)^2 \left (a+b \sin ^2(x)\right )}+\frac {\sec (x) \tan (x)}{2 (a+b) \left (a+b \sin ^2(x)\right )} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.11, antiderivative size = 109, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 6, integrand size = 15, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.400, Rules used = {3269, 425, 541,
536, 212, 211} \begin {gather*} \frac {b^{3/2} (5 a+b) \text {ArcTan}\left (\frac {\sqrt {b} \sin (x)}{\sqrt {a}}\right )}{2 a^{3/2} (a+b)^3}-\frac {b (a-b) \sin (x)}{2 a (a+b)^2 \left (a+b \sin ^2(x)\right )}+\frac {(a+5 b) \tanh ^{-1}(\sin (x))}{2 (a+b)^3}+\frac {\tan (x) \sec (x)}{2 (a+b) \left (a+b \sin ^2(x)\right )} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 211
Rule 212
Rule 425
Rule 536
Rule 541
Rule 3269
Rubi steps
\begin {align*} \int \frac {\sec ^3(x)}{\left (a+b \sin ^2(x)\right )^2} \, dx &=\text {Subst}\left (\int \frac {1}{\left (1-x^2\right )^2 \left (a+b x^2\right )^2} \, dx,x,\sin (x)\right )\\ &=\frac {\sec (x) \tan (x)}{2 (a+b) \left (a+b \sin ^2(x)\right )}+\frac {\text {Subst}\left (\int \frac {a+2 b+3 b x^2}{\left (1-x^2\right ) \left (a+b x^2\right )^2} \, dx,x,\sin (x)\right )}{2 (a+b)}\\ &=-\frac {(a-b) b \sin (x)}{2 a (a+b)^2 \left (a+b \sin ^2(x)\right )}+\frac {\sec (x) \tan (x)}{2 (a+b) \left (a+b \sin ^2(x)\right )}-\frac {\text {Subst}\left (\int \frac {-2 \left (a^2+4 a b+b^2\right )-2 (a-b) b x^2}{\left (1-x^2\right ) \left (a+b x^2\right )} \, dx,x,\sin (x)\right )}{4 a (a+b)^2}\\ &=-\frac {(a-b) b \sin (x)}{2 a (a+b)^2 \left (a+b \sin ^2(x)\right )}+\frac {\sec (x) \tan (x)}{2 (a+b) \left (a+b \sin ^2(x)\right )}+\frac {\left (b^2 (5 a+b)\right ) \text {Subst}\left (\int \frac {1}{a+b x^2} \, dx,x,\sin (x)\right )}{2 a (a+b)^3}+\frac {(a+5 b) \text {Subst}\left (\int \frac {1}{1-x^2} \, dx,x,\sin (x)\right )}{2 (a+b)^3}\\ &=\frac {b^{3/2} (5 a+b) \tan ^{-1}\left (\frac {\sqrt {b} \sin (x)}{\sqrt {a}}\right )}{2 a^{3/2} (a+b)^3}+\frac {(a+5 b) \tanh ^{-1}(\sin (x))}{2 (a+b)^3}-\frac {(a-b) b \sin (x)}{2 a (a+b)^2 \left (a+b \sin ^2(x)\right )}+\frac {\sec (x) \tan (x)}{2 (a+b) \left (a+b \sin ^2(x)\right )}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.76, size = 183, normalized size = 1.68 \begin {gather*} \frac {-\frac {b^{3/2} (5 a+b) \tan ^{-1}\left (\frac {\sqrt {a} \csc (x)}{\sqrt {b}}\right )}{a^{3/2}}+\frac {b^{3/2} (5 a+b) \tan ^{-1}\left (\frac {\sqrt {b} \sin (x)}{\sqrt {a}}\right )}{a^{3/2}}-2 (a+5 b) \log \left (\cos \left (\frac {x}{2}\right )-\sin \left (\frac {x}{2}\right )\right )+2 (a+5 b) \log \left (\cos \left (\frac {x}{2}\right )+\sin \left (\frac {x}{2}\right )\right )+\frac {a+b}{\left (\cos \left (\frac {x}{2}\right )-\sin \left (\frac {x}{2}\right )\right )^2}-\frac {a+b}{\left (\cos \left (\frac {x}{2}\right )+\sin \left (\frac {x}{2}\right )\right )^2}+\frac {4 b^2 (a+b) \sin (x)}{a (2 a+b-b \cos (2 x))}}{4 (a+b)^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.41, size = 119, normalized size = 1.09
method | result | size |
default | \(\frac {b^{2} \left (\frac {\left (a +b \right ) \sin \left (x \right )}{2 a \left (a +b \left (\sin ^{2}\left (x \right )\right )\right )}+\frac {\left (5 a +b \right ) \arctan \left (\frac {b \sin \left (x \right )}{\sqrt {a b}}\right )}{2 a \sqrt {a b}}\right )}{\left (a +b \right )^{3}}-\frac {1}{4 \left (a +b \right )^{2} \left (\sin \left (x \right )-1\right )}+\frac {\left (-a -5 b \right ) \ln \left (\sin \left (x \right )-1\right )}{4 \left (a +b \right )^{3}}-\frac {1}{4 \left (a +b \right )^{2} \left (1+\sin \left (x \right )\right )}+\frac {\left (a +5 b \right ) \ln \left (1+\sin \left (x \right )\right )}{4 \left (a +b \right )^{3}}\) | \(119\) |
risch | \(-\frac {i \left (a b \,{\mathrm e}^{7 i x}-b^{2} {\mathrm e}^{7 i x}-4 a^{2} {\mathrm e}^{5 i x}-3 a b \,{\mathrm e}^{5 i x}-b^{2} {\mathrm e}^{5 i x}+4 \,{\mathrm e}^{3 i x} a^{2}+3 b \,{\mathrm e}^{3 i x} a +b^{2} {\mathrm e}^{3 i x}-{\mathrm e}^{i x} a b +{\mathrm e}^{i x} b^{2}\right )}{\left (a +b \right )^{2} \left ({\mathrm e}^{2 i x}+1\right )^{2} a \left (b \,{\mathrm e}^{4 i x}-4 a \,{\mathrm e}^{2 i x}-2 b \,{\mathrm e}^{2 i x}+b \right )}+\frac {\ln \left ({\mathrm e}^{i x}+i\right ) a}{2 a^{3}+6 a^{2} b +6 a \,b^{2}+2 b^{3}}+\frac {5 \ln \left ({\mathrm e}^{i x}+i\right ) b}{2 \left (a^{3}+3 a^{2} b +3 a \,b^{2}+b^{3}\right )}-\frac {\ln \left ({\mathrm e}^{i x}-i\right ) a}{2 \left (a^{3}+3 a^{2} b +3 a \,b^{2}+b^{3}\right )}-\frac {5 \ln \left ({\mathrm e}^{i x}-i\right ) b}{2 \left (a^{3}+3 a^{2} b +3 a \,b^{2}+b^{3}\right )}+\frac {5 \sqrt {-a b}\, b \ln \left ({\mathrm e}^{2 i x}+\frac {2 i \sqrt {-a b}\, {\mathrm e}^{i x}}{b}-1\right )}{4 a \left (a +b \right )^{3}}+\frac {\sqrt {-a b}\, b^{2} \ln \left ({\mathrm e}^{2 i x}+\frac {2 i \sqrt {-a b}\, {\mathrm e}^{i x}}{b}-1\right )}{4 a^{2} \left (a +b \right )^{3}}-\frac {5 \sqrt {-a b}\, b \ln \left ({\mathrm e}^{2 i x}-\frac {2 i \sqrt {-a b}\, {\mathrm e}^{i x}}{b}-1\right )}{4 a \left (a +b \right )^{3}}-\frac {\sqrt {-a b}\, b^{2} \ln \left ({\mathrm e}^{2 i x}-\frac {2 i \sqrt {-a b}\, {\mathrm e}^{i x}}{b}-1\right )}{4 a^{2} \left (a +b \right )^{3}}\) | \(447\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 220 vs.
\(2 (93) = 186\).
time = 0.48, size = 220, normalized size = 2.02 \begin {gather*} \frac {{\left (a + 5 \, b\right )} \log \left (\sin \left (x\right ) + 1\right )}{4 \, {\left (a^{3} + 3 \, a^{2} b + 3 \, a b^{2} + b^{3}\right )}} - \frac {{\left (a + 5 \, b\right )} \log \left (\sin \left (x\right ) - 1\right )}{4 \, {\left (a^{3} + 3 \, a^{2} b + 3 \, a b^{2} + b^{3}\right )}} + \frac {{\left (5 \, a b^{2} + b^{3}\right )} \arctan \left (\frac {b \sin \left (x\right )}{\sqrt {a b}}\right )}{2 \, {\left (a^{4} + 3 \, a^{3} b + 3 \, a^{2} b^{2} + a b^{3}\right )} \sqrt {a b}} - \frac {{\left (a b - b^{2}\right )} \sin \left (x\right )^{3} + {\left (a^{2} + b^{2}\right )} \sin \left (x\right )}{2 \, {\left ({\left (a^{3} b + 2 \, a^{2} b^{2} + a b^{3}\right )} \sin \left (x\right )^{4} - a^{4} - 2 \, a^{3} b - a^{2} b^{2} + {\left (a^{4} + a^{3} b - a^{2} b^{2} - a b^{3}\right )} \sin \left (x\right )^{2}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 264 vs.
\(2 (93) = 186\).
time = 0.49, size = 560, normalized size = 5.14 \begin {gather*} \left [\frac {{\left ({\left (5 \, a b^{2} + b^{3}\right )} \cos \left (x\right )^{4} - {\left (5 \, a^{2} b + 6 \, a b^{2} + b^{3}\right )} \cos \left (x\right )^{2}\right )} \sqrt {-\frac {b}{a}} \log \left (-\frac {b \cos \left (x\right )^{2} - 2 \, a \sqrt {-\frac {b}{a}} \sin \left (x\right ) + a - b}{b \cos \left (x\right )^{2} - a - b}\right ) + {\left ({\left (a^{2} b + 5 \, a b^{2}\right )} \cos \left (x\right )^{4} - {\left (a^{3} + 6 \, a^{2} b + 5 \, a b^{2}\right )} \cos \left (x\right )^{2}\right )} \log \left (\sin \left (x\right ) + 1\right ) - {\left ({\left (a^{2} b + 5 \, a b^{2}\right )} \cos \left (x\right )^{4} - {\left (a^{3} + 6 \, a^{2} b + 5 \, a b^{2}\right )} \cos \left (x\right )^{2}\right )} \log \left (-\sin \left (x\right ) + 1\right ) - 2 \, {\left (a^{3} + 2 \, a^{2} b + a b^{2} - {\left (a^{2} b - b^{3}\right )} \cos \left (x\right )^{2}\right )} \sin \left (x\right )}{4 \, {\left ({\left (a^{4} b + 3 \, a^{3} b^{2} + 3 \, a^{2} b^{3} + a b^{4}\right )} \cos \left (x\right )^{4} - {\left (a^{5} + 4 \, a^{4} b + 6 \, a^{3} b^{2} + 4 \, a^{2} b^{3} + a b^{4}\right )} \cos \left (x\right )^{2}\right )}}, \frac {2 \, {\left ({\left (5 \, a b^{2} + b^{3}\right )} \cos \left (x\right )^{4} - {\left (5 \, a^{2} b + 6 \, a b^{2} + b^{3}\right )} \cos \left (x\right )^{2}\right )} \sqrt {\frac {b}{a}} \arctan \left (\sqrt {\frac {b}{a}} \sin \left (x\right )\right ) + {\left ({\left (a^{2} b + 5 \, a b^{2}\right )} \cos \left (x\right )^{4} - {\left (a^{3} + 6 \, a^{2} b + 5 \, a b^{2}\right )} \cos \left (x\right )^{2}\right )} \log \left (\sin \left (x\right ) + 1\right ) - {\left ({\left (a^{2} b + 5 \, a b^{2}\right )} \cos \left (x\right )^{4} - {\left (a^{3} + 6 \, a^{2} b + 5 \, a b^{2}\right )} \cos \left (x\right )^{2}\right )} \log \left (-\sin \left (x\right ) + 1\right ) - 2 \, {\left (a^{3} + 2 \, a^{2} b + a b^{2} - {\left (a^{2} b - b^{3}\right )} \cos \left (x\right )^{2}\right )} \sin \left (x\right )}{4 \, {\left ({\left (a^{4} b + 3 \, a^{3} b^{2} + 3 \, a^{2} b^{3} + a b^{4}\right )} \cos \left (x\right )^{4} - {\left (a^{5} + 4 \, a^{4} b + 6 \, a^{3} b^{2} + 4 \, a^{2} b^{3} + a b^{4}\right )} \cos \left (x\right )^{2}\right )}}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\sec ^{3}{\left (x \right )}}{\left (a + b \sin ^{2}{\left (x \right )}\right )^{2}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 194 vs.
\(2 (93) = 186\).
time = 0.48, size = 194, normalized size = 1.78 \begin {gather*} \frac {{\left (a + 5 \, b\right )} \log \left (\sin \left (x\right ) + 1\right )}{4 \, {\left (a^{3} + 3 \, a^{2} b + 3 \, a b^{2} + b^{3}\right )}} - \frac {{\left (a + 5 \, b\right )} \log \left (-\sin \left (x\right ) + 1\right )}{4 \, {\left (a^{3} + 3 \, a^{2} b + 3 \, a b^{2} + b^{3}\right )}} + \frac {{\left (5 \, a b^{2} + b^{3}\right )} \arctan \left (\frac {b \sin \left (x\right )}{\sqrt {a b}}\right )}{2 \, {\left (a^{4} + 3 \, a^{3} b + 3 \, a^{2} b^{2} + a b^{3}\right )} \sqrt {a b}} - \frac {a b \sin \left (x\right )^{3} - b^{2} \sin \left (x\right )^{3} + a^{2} \sin \left (x\right ) + b^{2} \sin \left (x\right )}{2 \, {\left (b \sin \left (x\right )^{4} + a \sin \left (x\right )^{2} - b \sin \left (x\right )^{2} - a\right )} {\left (a^{3} + 2 \, a^{2} b + a b^{2}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 15.06, size = 2009, normalized size = 18.43 \begin {gather*} \frac {\ln \left (\sin \left (x\right )+1\right )\,\left (a+5\,b\right )}{4\,{\left (a+b\right )}^3}-\ln \left (\sin \left (x\right )-1\right )\,\left (\frac {b}{{\left (a+b\right )}^3}+\frac {1}{4\,{\left (a+b\right )}^2}\right )-\frac {\frac {\sin \left (x\right )\,\left (a^2+b^2\right )}{2\,a\,\left (a^2+2\,a\,b+b^2\right )}+\frac {b\,{\sin \left (x\right )}^3\,\left (a-b\right )}{2\,a\,\left (a^2+2\,a\,b+b^2\right )}}{b\,{\sin \left (x\right )}^4+\left (a-b\right )\,{\sin \left (x\right )}^2-a}-\frac {\mathrm {atan}\left (\frac {\frac {\left (\frac {\sin \left (x\right )\,\left (a^4\,b^3+10\,a^3\,b^4+50\,a^2\,b^5+10\,a\,b^6+b^7\right )}{2\,\left (a^6+4\,a^5\,b+6\,a^4\,b^2+4\,a^3\,b^3+a^2\,b^4\right )}+\frac {\left (5\,a+b\right )\,\sqrt {-a^3\,b^3}\,\left (\frac {2\,a^9\,b^2+20\,a^8\,b^3+80\,a^7\,b^4+172\,a^6\,b^5+220\,a^5\,b^6+172\,a^4\,b^7+80\,a^3\,b^8+20\,a^2\,b^9+2\,a\,b^{10}}{a^8+6\,a^7\,b+15\,a^6\,b^2+20\,a^5\,b^3+15\,a^4\,b^4+6\,a^3\,b^5+a^2\,b^6}-\frac {\sin \left (x\right )\,\left (5\,a+b\right )\,\sqrt {-a^3\,b^3}\,\left (-16\,a^9\,b^2-80\,a^8\,b^3-144\,a^7\,b^4-80\,a^6\,b^5+80\,a^5\,b^6+144\,a^4\,b^7+80\,a^3\,b^8+16\,a^2\,b^9\right )}{8\,\left (a^6+3\,a^5\,b+3\,a^4\,b^2+a^3\,b^3\right )\,\left (a^6+4\,a^5\,b+6\,a^4\,b^2+4\,a^3\,b^3+a^2\,b^4\right )}\right )}{4\,\left (a^6+3\,a^5\,b+3\,a^4\,b^2+a^3\,b^3\right )}\right )\,\left (5\,a+b\right )\,\sqrt {-a^3\,b^3}\,1{}\mathrm {i}}{4\,\left (a^6+3\,a^5\,b+3\,a^4\,b^2+a^3\,b^3\right )}+\frac {\left (\frac {\sin \left (x\right )\,\left (a^4\,b^3+10\,a^3\,b^4+50\,a^2\,b^5+10\,a\,b^6+b^7\right )}{2\,\left (a^6+4\,a^5\,b+6\,a^4\,b^2+4\,a^3\,b^3+a^2\,b^4\right )}-\frac {\left (5\,a+b\right )\,\sqrt {-a^3\,b^3}\,\left (\frac {2\,a^9\,b^2+20\,a^8\,b^3+80\,a^7\,b^4+172\,a^6\,b^5+220\,a^5\,b^6+172\,a^4\,b^7+80\,a^3\,b^8+20\,a^2\,b^9+2\,a\,b^{10}}{a^8+6\,a^7\,b+15\,a^6\,b^2+20\,a^5\,b^3+15\,a^4\,b^4+6\,a^3\,b^5+a^2\,b^6}+\frac {\sin \left (x\right )\,\left (5\,a+b\right )\,\sqrt {-a^3\,b^3}\,\left (-16\,a^9\,b^2-80\,a^8\,b^3-144\,a^7\,b^4-80\,a^6\,b^5+80\,a^5\,b^6+144\,a^4\,b^7+80\,a^3\,b^8+16\,a^2\,b^9\right )}{8\,\left (a^6+3\,a^5\,b+3\,a^4\,b^2+a^3\,b^3\right )\,\left (a^6+4\,a^5\,b+6\,a^4\,b^2+4\,a^3\,b^3+a^2\,b^4\right )}\right )}{4\,\left (a^6+3\,a^5\,b+3\,a^4\,b^2+a^3\,b^3\right )}\right )\,\left (5\,a+b\right )\,\sqrt {-a^3\,b^3}\,1{}\mathrm {i}}{4\,\left (a^6+3\,a^5\,b+3\,a^4\,b^2+a^3\,b^3\right )}}{\frac {-\frac {5\,a^3\,b^4}{4}-\frac {21\,a^2\,b^5}{4}+\frac {21\,a\,b^6}{4}+\frac {5\,b^7}{4}}{a^8+6\,a^7\,b+15\,a^6\,b^2+20\,a^5\,b^3+15\,a^4\,b^4+6\,a^3\,b^5+a^2\,b^6}+\frac {\left (\frac {\sin \left (x\right )\,\left (a^4\,b^3+10\,a^3\,b^4+50\,a^2\,b^5+10\,a\,b^6+b^7\right )}{2\,\left (a^6+4\,a^5\,b+6\,a^4\,b^2+4\,a^3\,b^3+a^2\,b^4\right )}+\frac {\left (5\,a+b\right )\,\sqrt {-a^3\,b^3}\,\left (\frac {2\,a^9\,b^2+20\,a^8\,b^3+80\,a^7\,b^4+172\,a^6\,b^5+220\,a^5\,b^6+172\,a^4\,b^7+80\,a^3\,b^8+20\,a^2\,b^9+2\,a\,b^{10}}{a^8+6\,a^7\,b+15\,a^6\,b^2+20\,a^5\,b^3+15\,a^4\,b^4+6\,a^3\,b^5+a^2\,b^6}-\frac {\sin \left (x\right )\,\left (5\,a+b\right )\,\sqrt {-a^3\,b^3}\,\left (-16\,a^9\,b^2-80\,a^8\,b^3-144\,a^7\,b^4-80\,a^6\,b^5+80\,a^5\,b^6+144\,a^4\,b^7+80\,a^3\,b^8+16\,a^2\,b^9\right )}{8\,\left (a^6+3\,a^5\,b+3\,a^4\,b^2+a^3\,b^3\right )\,\left (a^6+4\,a^5\,b+6\,a^4\,b^2+4\,a^3\,b^3+a^2\,b^4\right )}\right )}{4\,\left (a^6+3\,a^5\,b+3\,a^4\,b^2+a^3\,b^3\right )}\right )\,\left (5\,a+b\right )\,\sqrt {-a^3\,b^3}}{4\,\left (a^6+3\,a^5\,b+3\,a^4\,b^2+a^3\,b^3\right )}-\frac {\left (\frac {\sin \left (x\right )\,\left (a^4\,b^3+10\,a^3\,b^4+50\,a^2\,b^5+10\,a\,b^6+b^7\right )}{2\,\left (a^6+4\,a^5\,b+6\,a^4\,b^2+4\,a^3\,b^3+a^2\,b^4\right )}-\frac {\left (5\,a+b\right )\,\sqrt {-a^3\,b^3}\,\left (\frac {2\,a^9\,b^2+20\,a^8\,b^3+80\,a^7\,b^4+172\,a^6\,b^5+220\,a^5\,b^6+172\,a^4\,b^7+80\,a^3\,b^8+20\,a^2\,b^9+2\,a\,b^{10}}{a^8+6\,a^7\,b+15\,a^6\,b^2+20\,a^5\,b^3+15\,a^4\,b^4+6\,a^3\,b^5+a^2\,b^6}+\frac {\sin \left (x\right )\,\left (5\,a+b\right )\,\sqrt {-a^3\,b^3}\,\left (-16\,a^9\,b^2-80\,a^8\,b^3-144\,a^7\,b^4-80\,a^6\,b^5+80\,a^5\,b^6+144\,a^4\,b^7+80\,a^3\,b^8+16\,a^2\,b^9\right )}{8\,\left (a^6+3\,a^5\,b+3\,a^4\,b^2+a^3\,b^3\right )\,\left (a^6+4\,a^5\,b+6\,a^4\,b^2+4\,a^3\,b^3+a^2\,b^4\right )}\right )}{4\,\left (a^6+3\,a^5\,b+3\,a^4\,b^2+a^3\,b^3\right )}\right )\,\left (5\,a+b\right )\,\sqrt {-a^3\,b^3}}{4\,\left (a^6+3\,a^5\,b+3\,a^4\,b^2+a^3\,b^3\right )}}\right )\,\left (5\,a+b\right )\,\sqrt {-a^3\,b^3}\,1{}\mathrm {i}}{2\,\left (a^6+3\,a^5\,b+3\,a^4\,b^2+a^3\,b^3\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________